Merge branch 'otte/for-master' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 15 Oct 2019 18:47:57 +0000 (18:47 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Tue, 15 Oct 2019 18:47:57 +0000 (18:47 +0000)
commit7fc74eaeae7e29b6414d7f4c49779c172fca4642
tree5f9e7d2506393f865fcd4c7bb5b7bd029f727d69
parentbb56b4ef5d975fff91e7caa39e058d02fd7373bb
parent4eb077979f931f68dc20299ee1640e020df6707b
Merge branch 'otte/for-master' into 'master'

Otte/for master

See merge request GNOME/gtk!1133